Reasoning in Fuzzy Description Logics using Automata
نویسندگان
چکیده
منابع مشابه
Reasoning in Fuzzy Description Logics using Automata
Automata-based methods have been successfully employed to prove tight complexity bounds for reasoning in many classical logics, and in particular in Description Logics (DLs). Very recently, the ideas behind these automata-based approaches were adapted for reasoning also in fuzzy extensions of DLs, with semantics based either on finitely many truth degrees or the Gödel t-norm over the interval [...
متن کاملAutomata-based Reasoning in Fuzzy Description Logics
Description logics (DLs) are a family of well-studied knowledge representation formalisms designed to express and reason with the conceptual knowledge of application domains in a clear and well-understood manner. They have been successfully applied for representing large application domains, most prominently from the biological and medical fields. In their classical form, DLs are not adequate f...
متن کاملReasoning within Fuzzy Description Logics
Description Logics (DLs) are suitable, well-known, logics for managing structured knowledge. They allow reasoning about individuals and well defined concepts, i.e. set of individuals with common properties. The experience in using DLs in applications has shown that in many cases we would like to extend their capabilities. In particular, their use in the context of Multimedia Information Retriev...
متن کاملPractical Reasoning in Expressive Description Logics Using Alternating Automata
vi Acknowledgements vii
متن کاملReasoning and Quantification in Fuzzy Description Logics
In this paper we introduce reasoning procedures for ALCQF , a fuzzy description logic with extended qualified quantification. The language allows for the definition of fuzzy quantifiers of the absolute and relative kind by means of piecewise linear functions on N and Q ∩ [0, 1] respectively. In order to reason about instances, the semantics of quantified expressions is defined based on recently...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Fuzzy Sets and Systems
سال: 2016
ISSN: 0165-0114
DOI: 10.1016/j.fss.2015.07.013